#
# Trampoline OS
#
# Trampoline is copyright (c) IRCCyN 2005+
# Copyright ESEO for function and data structures documentation and ARM port
# Trampoline est prot�g� par la loi sur la propri�t� intellectuelle
#
# This software is distributed under the Lesser GNU Public Licence
#
# Warning: This Makefile SHOULD not be called directly.
#          It is automatically called from the Makefile
#
# Trampoline OS
#
# Trampoline is copyright (c) IRCCyN 2005+
# Trampoline is protected by the French intellectual property law.
#
# This software is distributed under the Lesser GNU Public Licence
#
# $Date: 2010-01-29 15:35:55 +0100 (Ven, 29 jan 2010) $
# $Rev: 1043 $
# $Author: fp $
# $URL: https://trampoline.rts-software.org/svn/trunk/machines/arm/armadeus_lpc_e2294/Makefile $
#
# Warning: This Makefile SHOULD not be called directly.
#          It is automatically called from the Makefile
#          generated by goil.
#
#kernel OS architecture dependant files

SOURCES += armadeus_tpl_sleep.S \
armadeus_bootstrap_stage1.S \
armadeus_bootstrap_stage2.c \
armadeus-MMU.S\
armadeus_tpl_stubs.c \
armadeus_irq.c \
armadeus_exception_catch.S

TEMP_SOURCE_DIRS += $(MACHINE_PATH)/..

